Skip to main content

A knowledge based approach to program debugging / [by] Yuh-jeng Lee.

Published September 1989

Title from cover

"Prepared for: Naval Postgraduate School"--Cover

"September 1989"--Cover


Includes bibliographical references (p. 71-74)

Technical report; 1989

We are exploring the use of executable specifications in automating the process of debugging logic programs. We have formulated a computer model that encodes programming knowledge including a classification of program bugs, heuristics that analyze and repair program errors, and operational semantics off the language, and is capable of reasoning with programs and their specifications. The realization of our methodology is the Constructive Interpreter which functions as a debugger as well as program synthesizer. It contains three major components: test case generator, bug locator, and bug corrector. The test case generator can generate test data systematically by executing specifications. The bug locator will automatically locate a bug should the program fail to compute an answer that agrees with the specifications. The bug corrector will analyze the nature of the bug and invoke correction heuristics which might involve the use of (1) a deductive theorem prover which will try to construct a proof and deduce sufficient conditions to amend the program, and (2) an inductive program generator which will synthesize the missing part of the program. In this paper, we present our approach and an implementation of the experimental prototype debugger

kmc/kmc 12/1/09

aq/aq cc:9116 06/06/97

Publisher Monterey, California : Naval Postgraduate School
Pages 84
Language English
Call number ocn471780160
Digitizing sponsor Naval Postgraduate School, Dudley Knox Library
Book contributor Naval Postgraduate School, Dudley Knox Library
Collection navalpostgraduateschoollibrary; fedlink; americana
Notes No copyright page found. No table-of-contents pages found. No title page found.

Full catalog record MARCXML

[Open Library icon]This book has an editable web page on Open Library.


There are no reviews yet. Be the first one to write a review.
Naval Postgraduate School, Dudley Knox Library
by Franco, Richard Peter.;Thomas, George W.
Naval Postgraduate School, Dudley Knox Library
by Underkoffler, James M.;Matsushima, Rodney F.;Zirschky, Stephen.